(w32_read_socket): Need to erase background

immediately before repainting exposed region.

diff --git a/src/w32term.c b/src/w32term.c
index 4f1fdb369c745534bd26297aad563f62c256462f..4299d1d6a0ecc1384cc999222131f44d3da0b5b5 100644 (file)
--- a/src/w32term.c
+++ b/src/w32term.c
@@ -2408,6 +2408,8 @@ w32_read_socket (sd, bufp, numchars, waitp, expected)
                  }
                else
                  {
+                   /* Erase background again for safety.  */
+                   win32_clear_rect (f, NULL, &msg.rect);
                    dumprectangle (f,
                                   msg.rect.left,
                                   msg.rect.top,